 | Incremental Type Inference for Software Engineering Code is added one method at a time and missing types are inferred if possible. We present a specification and algorithm for inferring simple object-oriented types in this kind of incremental development environment 81.88 Kb.  1 | read |
 | Object-oriented technology is built on a sound engineering foundation, whose elements we collectively call the The object model encompasses the principles of abstraction, encapsulation, modularity, hierarchy, typing, concurrency, and persistence. By themselves, none of these principles are new 282.07 Kb. 3 | read |
| Global Understanding Environment: Applying Semantic Web to Industrial Automation Industrial Ontologies Group, Agora Center, University of Jyväskylä, P. O. Box 35 (Agora), 40014 Jyväskylä, Finland 120.63 Kb. 3 | read |
| CycleTalk: Toward a Dialogue Agent that Guides Design with an Articulate Simulator Carolyn P. Rosé1, Cristen Torrey1, Vincent Aleven1, Allen Robinson1, Chih Wu2, and Kenneth Forbus3 43.45 Kb. 1 | read |
| War, Mathematics and Simulation: Drones and (Losing) Control of Battlespace The organizing principle of the technical object is in this object qua tendency, aim and end 119.12 Kb. 3 | read |
| Document submitted to Formulating Group or sub-element thereof of the Telecommunications Industry Association (tia) in accordance with the provisions of Sections 1 6 inclusive of the tia engineering Manual dated March 2005 468.34 Kb. 16 | read |
| Augmented reality simulations on handheld computers Games-to-Teach Project. The authors would like to thank Henry Jenkins of mit and Randy Hinrichs at Microsoft Research, co-pis of this project for their support, as well as Kodjo Hesse, Gunnar Harboe 112.69 Kb. 1 | read |
1